John E.Hopcroft, 他『オートマトン言語理論』